Marcas de agua en código LLM, inferencia de tipos binarios y calidad de código con IA
La técnica ACW detecta código generado por IA sin entrenamiento; XTRIDE acelera la inferencia de tipos binarios hasta 2300 veces; Aikido ofrece verificaciones por regla con LLM para calidad de código.